with Rational_Numbers.Relations;
with Rational_Numbers.Reducing_Relation;


package Rational_Numbers.Reducing_Relations is

   --   function Equals is new Rational_Numbers.Reducing_Relation(Rational_Numbers.Relation."=");
   --   function "="(X,Y :Rational) return Boolean;

   function Inferieur is new Rational_Numbers.Reducing_Relation(Rational_Numbers.Relation."<");

   function "<"(X,Y :Rational) return Boolean
     renames Inferieur;

   function Inferieur_Strict is new Rational_Numbers.Reducing_Relation(Rational_Numbers.Relation."<=");

   function "<="(X,Y :Rational) return Boolean
     renames Inferieur_Strict;

   function Superior is new Rational_Numbers.Reducing_Relation(Rational_Numbers.Relation.">");

   function ">"(X,Y :Rational) return Boolean
     renames Superior;

   function Superior_Strict is new Rational_Numbers.Reducing_Relation(Rational_Numbers.Relation.">=");

   function ">="(X,Y :Rational) return Boolean
     renames Superior_Strict;

end Rational_Numbers.Reducing_Relations;
